$\forall$$A$, $B$:MsgA, $i$, $j$:Id. (@$i$ $A$) $\parallel$ (@$j$ $B$) $\Leftrightarrow$ ($i$ $=$ $j$ $\Rightarrow$ $A$ $\parallel$ $B$ \& ma{-}frame{-}compatible($A$;$B$))